Type inference

Results: 490



#Item
321Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: ctan.yazd.ac.ir

Language: English - Date: 2004-08-22 15:59:00
322Procedural programming languages / Scripting languages / Design of experiments / Hypothesis testing / Statistical inference / FALSE / Null / Statistical hypothesis testing / Parameter / Computing / Software engineering / Computer programming

Package ‘ss3sim’ July 2, 2014 Type Package Title Fisheries stock assessment simulation testing with Stock Synthesis Version[removed]Date[removed]

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-02 16:36:48
323Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: mirror.its.dal.ca

Language: English - Date: 2004-08-22 15:59:00
324Computing / Type system / Forgetful functor / Type safety / Module / Monad / Type inference / Sheaf / Limit / Type theory / Software engineering / Programming language theory

Proc. 21st Symp. Principles of Programming Languages, 1994, pages 109–122. Manifest types, modules, and separate compilation Xavier Leroy ∗

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 03:22:15
325Hypothesis testing / Statistical theory / Approximate Bayesian computation / Psychometrics / Credible interval / Statistical hypothesis testing / Statistic / Test statistic / Statistics / Bayesian statistics / Statistical inference

Package ‘abctools’ July 2, 2014 Type Package Title Tools for ABC analyses Version[removed]Date[removed]

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-02 11:11:09
326Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: ctan.usu.ru

Language: English - Date: 2004-08-22 15:59:00
327Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: mirror.hmc.edu

Language: English - Date: 2004-08-22 15:59:00
328Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: ctan.mackichan.com

Language: English - Date: 2004-08-22 15:59:00
329Regression analysis / Econometrics / Statistical inference / Bootstrapping / Akaike information criterion / Bayesian information criterion / Binomial regression / Mixture model / Expectation–maximization algorithm / Statistics / Categorical data / Model selection

Package ‘flexmix’ September 24, 2014 Type Package Title Flexible Mixture Modeling Version[removed]Description FlexMix implements a general framework for finite

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-09-24 11:27:12
330Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: osl.ugr.es

Language: English - Date: 2004-08-22 15:59:00
UPDATE